A focused approach to combining logics
نویسندگان
چکیده
منابع مشابه
A focused approach to combining logics
We present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical, intuitionistic, and multiplicative-additive linear logics are derived as fragments of the host system by varying the sensitivity of specialized structural rules to polarity information. We identify a general set of criteria under which cut eliminatio...
متن کاملA Top-down Approach to Combining Logics
The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.
متن کاملCombining Algebraizable Logics
The general methodology of “algebraizing” logics (cf. [2], [4]) is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved. In this paper we tran...
متن کاملA focused approach to assessing fidelity 1 A focused approach to assessing prevention program fidelity
The primary goals of the present study were 1) to explore the types and frequencies of adaptation reported by facilitators; 2) to document their reasons for making those adaptations; and 3) to propose an efficient approach to the study of prevention program fidelity based on interview data. We interviewed 42 program facilitators involved in a large-scale dissemination about their implementation...
متن کاملnon-corrective approach to pronunciation
the aim of this study has been to find answers for the following questions: 1. what is the effect of immediate correction on students pronunciation errors? 2. what would be the effect of teaching the more rgular patterns of english pronunciation? 3. is there any significant difference between the two methods of dealing with pronuciation errore, i. e., correction and the teaching of the regular ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2011
ISSN: 0168-0072
DOI: 10.1016/j.apal.2011.01.012